Optimal. Leaf size=36 \[ \frac {\cosh (x)}{b}-\frac {(a+b) \tan ^{-1}\left (\frac {\sqrt {b} \cosh (x)}{\sqrt {a}}\right )}{\sqrt {a} b^{3/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.06, antiderivative size = 36, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {3190, 388, 205} \[ \frac {\cosh (x)}{b}-\frac {(a+b) \tan ^{-1}\left (\frac {\sqrt {b} \cosh (x)}{\sqrt {a}}\right )}{\sqrt {a} b^{3/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 205
Rule 388
Rule 3190
Rubi steps
\begin {align*} \int \frac {\sinh ^3(x)}{a+b \cosh ^2(x)} \, dx &=-\operatorname {Subst}\left (\int \frac {1-x^2}{a+b x^2} \, dx,x,\cosh (x)\right )\\ &=\frac {\cosh (x)}{b}-\frac {(a+b) \operatorname {Subst}\left (\int \frac {1}{a+b x^2} \, dx,x,\cosh (x)\right )}{b}\\ &=-\frac {(a+b) \tan ^{-1}\left (\frac {\sqrt {b} \cosh (x)}{\sqrt {a}}\right )}{\sqrt {a} b^{3/2}}+\frac {\cosh (x)}{b}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.19, size = 83, normalized size = 2.31 \[ \frac {\cosh (x)}{b}-\frac {(a+b) \left (\tan ^{-1}\left (\frac {\sqrt {b}-i \sqrt {a+b} \tanh \left (\frac {x}{2}\right )}{\sqrt {a}}\right )+\tan ^{-1}\left (\frac {\sqrt {b}+i \sqrt {a+b} \tanh \left (\frac {x}{2}\right )}{\sqrt {a}}\right )\right )}{\sqrt {a} b^{3/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.49, size = 416, normalized size = 11.56 \[ \left [\frac {a b \cosh \relax (x)^{2} + 2 \, a b \cosh \relax (x) \sinh \relax (x) + a b \sinh \relax (x)^{2} - \sqrt {-a b} {\left ({\left (a + b\right )} \cosh \relax (x) + {\left (a + b\right )} \sinh \relax (x)\right )} \log \left (\frac {b \cosh \relax (x)^{4} + 4 \, b \cosh \relax (x) \sinh \relax (x)^{3} + b \sinh \relax (x)^{4} - 2 \, {\left (2 \, a - b\right )} \cosh \relax (x)^{2} + 2 \, {\left (3 \, b \cosh \relax (x)^{2} - 2 \, a + b\right )} \sinh \relax (x)^{2} + 4 \, {\left (b \cosh \relax (x)^{3} - {\left (2 \, a - b\right )} \cosh \relax (x)\right )} \sinh \relax (x) + 4 \, {\left (\cosh \relax (x)^{3} + 3 \, \cosh \relax (x) \sinh \relax (x)^{2} + \sinh \relax (x)^{3} + {\left (3 \, \cosh \relax (x)^{2} + 1\right )} \sinh \relax (x) + \cosh \relax (x)\right )} \sqrt {-a b} + b}{b \cosh \relax (x)^{4} + 4 \, b \cosh \relax (x) \sinh \relax (x)^{3} + b \sinh \relax (x)^{4} + 2 \, {\left (2 \, a + b\right )} \cosh \relax (x)^{2} + 2 \, {\left (3 \, b \cosh \relax (x)^{2} + 2 \, a + b\right )} \sinh \relax (x)^{2} + 4 \, {\left (b \cosh \relax (x)^{3} + {\left (2 \, a + b\right )} \cosh \relax (x)\right )} \sinh \relax (x) + b}\right ) + a b}{2 \, {\left (a b^{2} \cosh \relax (x) + a b^{2} \sinh \relax (x)\right )}}, \frac {a b \cosh \relax (x)^{2} + 2 \, a b \cosh \relax (x) \sinh \relax (x) + a b \sinh \relax (x)^{2} - 2 \, \sqrt {a b} {\left ({\left (a + b\right )} \cosh \relax (x) + {\left (a + b\right )} \sinh \relax (x)\right )} \arctan \left (\frac {\sqrt {a b} {\left (\cosh \relax (x) + \sinh \relax (x)\right )}}{2 \, a}\right ) + 2 \, \sqrt {a b} {\left ({\left (a + b\right )} \cosh \relax (x) + {\left (a + b\right )} \sinh \relax (x)\right )} \arctan \left (\frac {{\left (b \cosh \relax (x)^{3} + 3 \, b \cosh \relax (x) \sinh \relax (x)^{2} + b \sinh \relax (x)^{3} + {\left (4 \, a + b\right )} \cosh \relax (x) + {\left (3 \, b \cosh \relax (x)^{2} + 4 \, a + b\right )} \sinh \relax (x)\right )} \sqrt {a b}}{2 \, a b}\right ) + a b}{2 \, {\left (a b^{2} \cosh \relax (x) + a b^{2} \sinh \relax (x)\right )}}\right ] \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: TypeError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.08, size = 97, normalized size = 2.69 \[ \frac {1}{b \left (\tanh \left (\frac {x}{2}\right )+1\right )}-\frac {\arctan \left (\frac {2 \left (a +b \right ) \left (\tanh ^{2}\left (\frac {x}{2}\right )\right )-2 a +2 b}{4 \sqrt {a b}}\right ) a}{b \sqrt {a b}}-\frac {\arctan \left (\frac {2 \left (a +b \right ) \left (\tanh ^{2}\left (\frac {x}{2}\right )\right )-2 a +2 b}{4 \sqrt {a b}}\right )}{\sqrt {a b}}-\frac {1}{b \left (\tanh \left (\frac {x}{2}\right )-1\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \frac {{\left (e^{\left (2 \, x\right )} + 1\right )} e^{\left (-x\right )}}{2 \, b} - \frac {1}{8} \, \int \frac {16 \, {\left ({\left (a + b\right )} e^{\left (3 \, x\right )} - {\left (a + b\right )} e^{x}\right )}}{b^{2} e^{\left (4 \, x\right )} + b^{2} + 2 \, {\left (2 \, a b + b^{2}\right )} e^{\left (2 \, x\right )}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.37, size = 257, normalized size = 7.14 \[ \frac {{\mathrm {e}}^{-x}}{2\,b}+\frac {{\mathrm {e}}^x}{2\,b}+\frac {\left (2\,\mathrm {atan}\left (\frac {{\mathrm {e}}^{3\,x}\,\left (a^3\,\sqrt {a\,b^3}+b^3\,\sqrt {a\,b^3}+3\,a\,b^2\,\sqrt {a\,b^3}+3\,a^2\,b\,\sqrt {a\,b^3}\right )}{2\,a\,b\,{\left ({\left (a+b\right )}^2\right )}^{3/2}}+\frac {a\,b^4\,{\mathrm {e}}^x\,\sqrt {a\,b^3}\,\left (\frac {8\,{\left (a^2+2\,a\,b+b^2\right )}^{3/2}}{a\,b^6\,{\left (a+b\right )}^3}+\frac {2\,\left (a^3\,\sqrt {a\,b^3}+b^3\,\sqrt {a\,b^3}+3\,a\,b^2\,\sqrt {a\,b^3}+3\,a^2\,b\,\sqrt {a\,b^3}\right )}{a^2\,b^5\,\sqrt {a\,b^3}\,{\left ({\left (a+b\right )}^2\right )}^{3/2}}\right )}{4}\right )-2\,\mathrm {atan}\left (\frac {{\mathrm {e}}^x\,{\left (a+b\right )}^3\,\sqrt {a\,b^3}}{2\,a\,b\,{\left ({\left (a+b\right )}^2\right )}^{3/2}}\right )\right )\,\sqrt {a^2+2\,a\,b+b^2}}{2\,\sqrt {a\,b^3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________